COMPOSITE TYPES 复合类型¶

第一种形式的 CREATE TYPE 创建一个复合类型。 复合类型是通过一列属性名和数据类型声明的。这样实际上和一个表的行类型一样， 但是如果我们只是想定义一个类型，那么使用 CREATE TYPE 避免了直接创建实际的表。 一个独立的复合类型对于一个函数的返回类型非常有用。

BASE TYPES 基本类型¶

第二种形式的CREATE TYPE创建一种新的基本类型（标量类型）。 参数可以以任意的顺序出现，而不是上面显示的那样。并且大多数都是可选的。 它要求要在定义类型之前先注册两个函数（用CREATE FUNCTION命令）。 支持函数 input_function 和 output_function 是必须的， 而函数 receive_function 和 send_function 是可选的。 通常，这些函数必须用 C 或者其它低层语言编写。

函数 input_function 将该类型的外部文本形式转换成可以被对该类型操作的操作符和函数识别的内部形式。 output_function 用做相反用途。 输入函数可以声明为接受一个类型为 c_string 的参数，或者接受三个类型分别为 c_string，oid，integer 的参数。 （第一个参数是 C 字串形式的输入文本，第二个是在该类型为数组类型时其元素的类型， 第三个是目标字段的typmod，如果已知的话。） 它应该返回一个该数据类型本身的数值。 输出函数可以声明为接受一个类型为新数据类型的参数， 或者接受两个类型，第二个参数的类型是 oid。 第二个参数也是用于数组类型的数组元素类型。输出函数应该返回类型 cstring。

可选的 receive_function 把该类型的外部二进制表现形式转换成内部表现形式。 如果没有提供这个函数，那么该类型不能用二进制输入。二进制格式应该选取那种转换成内部格式比较容易的，同时还有一定移植性的。 （比如，标准的整数数据类型使用网络字节序作为外部的二进制表现形式，而内部表现形式是机器的本机字节序。） 接收函数应该声明为接受一个类型为 internal 的参数，或者两个类型分别为 internal 和 oid 的参数。 它必须返回一个数据类型自身的数值。（第一个参数是一个指向一个 StringInfo 缓冲区的，保存接受字节串的指针； 可选的第二个参数是元素类型——如果类型是一个数组类型的话。）类似的，可选的 send_function 把类型转换为外部二进制表现形式。 如果没有提供这些函数，那么类型就不能用二进制方式输出。发送函数可以声明为接收一个新数据类型， 或者接收两个参数，第二个参数的类型是 oid。第二个参数仍然是用做数组类型的。 发送函数必须返回 bytea。

这个时候你应该觉得奇怪，就是输入和输出函数怎么可以声明为返回新类型的结果或者是接受新类型的参数， 而且是在新类型创建之前就需要创建它们。 答案是输入函数必须先创建，然后是输出函数，最后是数据类型。 PostgreSQL 将首先把新数据类型的名字看作输入函数的返回类型。 它将创建一个"壳"类型，这个类型只是在 pg_type里面的一个占位符，然后把输入函数定义和这个壳类型连接起来。 类似的是输出函数将连接到（现在已经存在）的壳类型。最后， CREATE TYPE 把这个壳类型替换成完整的类型定义，这样就可以使用新类型了。

尽管新类型的内部表现形式只有 I/O 函数和其它你创建来使用该类型的函数了解， 但内部表现还是有几个属性必须为 PostgreSQL 声明。 这些中最重要的是 internallength。 基本数据类型可定义成为定长，这时 internallength 是一个正整数，也可以是变长的，通过把 internallength 设置为 VARIABLE 表示。（在内部，这个状态 是通过将typlen设置为 -1 实现的。）所有变长类型的内部形式都必须以一个四字节整数开头，这个整数给出此类型这个数值的全长。

可选的标记 PASSEDBYVALUE 表明该类型的数值是用值传递的， 而不是用引用。你不能传递那些内部形式大于 Datum （大多数机器上是 4 字节，有些是 8 字节）类型的尺寸的数据类型的值。

alignment 参数声明该数据类型要求的对齐存储方式。 允许的数值等效于按照 1，2，4，或者 8 字节边界对齐。请注意变长类型必须有至少 4 字节的对齐， 因为它们必须包含一个 int4 作为它们的第一个成份。

storage 参数允许为变长数据类型选择存储策略。 （定长类型只允许使用 plain）。 plain 声明该数据类型总是用内联的方式而不是压缩的方式存储。 extended 声明系统将首先试图压缩一个长的数据值，然后如果它仍然太长的话就将它的值移出主表的行， 但系统将不会压缩它。 main 允许压缩，但是不赞成把数值移动出主表。 （用这种存储策略的数据项可能仍将移动出主表，如果不能放在一行里的话， 但是它们将比 extended 和 external 项更愿意呆在主表里。）

如果用户希望字段的数据类型缺省时不是 NULL，而是其它什么东西， 那么你可以声明一个缺省值。 在 DEFAULT 关键字里面声明缺省值。 （这样的缺省可以被附着在特定字段上的明确的 DEFAULT 子句覆盖。）

要表示一个类型是数组，用 ELEMENT 关键字声明数组元素的类型。 比如，要定义一个 4 字节整数(int4)的数组，声明

ELEMENT = int4

。 有关数组类型的更多细节在下面描述。

要声明用于这种类型数组的外部形式的数值之间的分隔符，可用 delimiter 声明指定分隔符。缺省的分隔符是逗号（,）。 请注意分隔符是和数组元素类型相关联，而不是数组类型本身。

ARRAY TYPES 数组类型¶

在创建用户定义数据类型的时候，PostgreSQL 自动创建一个与之关联的数组类型，其名字由该基本类型的名字前缀一个下划线组成。 分析器理解这个命名传统，并且把对类型为 foo[] 的字段的请求转换成对类型为 _foo 的字段的请求。这个隐含创建的数组类型是变长并且使用内建的输入和输出函数 array_in 和 array_out。

你很可能会问如果系统自动制作正确的数组类型，那为什么有个 ELEMENT选项？使用 ELEMENT 有用的唯一的场合是在你制作的定长类型碰巧在内部是一个一定数目相同事物的数组， 而你又想允许这 N 个事物可以通过脚标直接关联，以及那些你准备把该类型当做整体进行的操作。 比如，类型 name 就允许其构成 char 用这种方法关联。 一个二维的 point 类型也可以允许其两个构成浮点型按照类似 point[0] 和 point[1] 的方法关联。 请注意这个功能只适用与那些内部形式是一个相同的定长域的序列的类型。 一个可以脚标化的变长类型必须有被 array_in 和 array_out 使用的一般化的内部表现形式。 出于历史原因（也就是说，那些明显错误但补救来得太迟的问题），定长数组类型的脚标从零开始，而不是象变长类型那样的从一开始。